МЕТОДИКА ПОСТРОЕНИЯ ЦВЕТНЫХ СЕТЕЙ ПЕТРИ, МОДЕЛИРУЮЩИХ РАБОТУ
ЦИФРОВОГО АВТОМАТА

Кизилов Евгений Александрович, соискатель, Пензенский государственный университет (Россия, г. Пенза, ул. Красная, 40), jk6001@yandex.ru

681.31

DOI

10.21685/2072-3059-2017-3-3

Актуальность и цели. Целью работы является разработка методики, позволяющей построить цветную сеть Петри, моделирующую функционирование технических процессов или объектов по их исходному автоматному описанию.
Материалы и методы. Формальное описание сети Петри, моделирующей заданный цифровой автомат, заключатся в нахождении соответствия между множеством состояний и сигналов, описывающим цифровой автомат, и множеством позиций, переходов и разметок, описывающих цветную сеть Петри.
Результаты. Предложен пошаговый шаблон построения сети Петри и приведены примеры синтеза цветных сетей Петри по их исходному описанию на языке систем канонических уравнений.
Выводы. Предложена методика построения цветной сети Петри, обеспечивающая адекватное моделирование поведения абстрактного цифрового автомата.

Ключевые слова

цветная сеть Петри, абстрактный цифровой автомат, автомат Мили, автомат Мура

 Скачать статью в формате PDF

1. Котов, В. Е. Сети Петри / В. Е. Котов. – М. : Наука, 1984. – 161 с.
2. Питерсон, Дж. Теория сетей Петри и моделирование систем : пер. с англ. / Дж. Питерсон. – М. : Мир, 1984. – 264 с.
3. Jensen, K. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use / K. Jensen. – New York : Springer-Verlag, 1992. – 234 p.
4. Зайцев, Д. А. Моделирование телекоммуникационных систем в CPN Tools / Д. А. Зайцев, Т. Р. Шмелева. – Одесса : ОНАТ, 2006. – 68 с.
5. Механов, В. Б. Применение сетей Петри для моделирования телекоммуникаций с поддержкой качества обслуживания / В. Б. Механов // Телематика-2010 : тр. XVII Всерос. науч.-метод. конф. – СПб : СПбГУ ИТМО, 2010. – Т. 2. – С. 283–284.
6. Механов, В. Б. Преобразование конечного автомата в цветную сеть Петри / В. Б. Механов, Е. А. Кизилов, Н. Н. Коннов // Телематика-2010 : тр. XVIII Всерос. науч.-метод. конф. – СПб : СПбГУ ИТМО, 2011. – Т. 1. – С. 238–240.
7. Hopcroft, J. E. Introduction to Automata Theory, Languages, and Computation / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman. – М. : Вильямс, 2002. – 528 p.
8. Вашкевич, Н. П. Достоинство формального языка, основанного на концепции недетерминизма, при структурной реализации параллельных систем логического управления процессами и ресурсами / Н. П. Вашкевич, Р. А. Бикташев // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2011. – № 1 (17). – С. 3–11.
9. Вашкевич, Н. П. Недетерминированные автоматы и их использование для реализации систем параллельной обработки информации : монография / Н. П. Вашкевич, Р. А. Бикташев – Пенза: Ид-во ПГУ, 2016. – 394 с.
10. Jensen, K. Coloured Petri Nets: modelling and validation of concurrent systems / Kurt Jensen, Lars M. Kristensen. – New York : Springer, 2009. – 382 p.
11. Захаров, Н. Г. Синтез цифровых автоматов : учеб. пособие / Н. Г. Захаров, В. Н. Рогов. – Ульяновск : УлГТУ, 2003. – 136 с.